make:
	gcc verific.c -o verific
clean:
	rm verific